Echenim, N.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A Superposition Calculus for Abductive Reasoning

Echenim, M., Peltier, N.

Journal:

Journal of Automated Reasoning

Year:

2016

Language:

english

File:

PDF, 838 KB

english, 2016

2

Instantiation Schemes for Nested Theories

Echenim, Mnacho, Peltier, Nicolas

Journal:

ACM Transactions on Computational Logic

Year:

2013

Language:

english

File:

PDF, 277 KB

english, 2013

3

Rewrite-Based Satisfiability Procedures for Recursive Data Structures

Maria Paola Bonacina, Mnacho Echenim

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 373 KB

english, 2007

4

Rewrite-Based Decision Procedures

Maria Paola Bonacina, Mnacho Echenim

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 420 KB

english, 2007

5

Modular instantiation schemes

Mnacho Echenim, Nicolas Peltier

Journal:

Information Processing Letters

Year:

2011

Language:

english

File:

PDF, 166 KB

english, 2011

6

Theory decision by decomposition

Maria Paola Bonacina, Mnacho Echenim

Journal:

Journal of Symbolic Computation

Year:

2010

Language:

english

File:

PDF, 3.09 MB

english, 2010

7

On leaf permutative theories and occurrence permutation groups

Thierry Boy de la Tour, Mnacho Echenim

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 1.06 MB

english, 2003

8

On the Complexity of Deduction Modulo Leaf Permutative Equations

Thierry Boy de la Tour, Mnacho Echenim

Journal:

Journal of Automated Reasoning

Year:

2004

Language:

english

File:

PDF, 537 KB

english, 2004

9

An Instantiation Scheme for Satisfiability Modulo Theories

Mnacho Echenim, Nicolas Peltier

Journal:

Journal of Automated Reasoning

Year:

2012

Language:

english

File:

PDF, 1.02 MB

english, 2012

10

Permutative rewriting and unification

Thierry Boy de la Tour, Mnacho Echenim

Journal:

Information and Computation

Year:

2007

Language:

english

File:

PDF, 453 KB

english, 2007

11

Multi-scale modeling of the follicle selection process in the ovary

Nki Echenim, Danielle Monniaux, Michel Sorine, Frédérique Clément

Journal:

Mathematical Biosciences

Year:

2005

Language:

english

File:

PDF, 414 KB

english, 2005

12

Multiscale Modeling of Follicular Ovulation as a Reachability Problem

Echenim, Nki, Clément, Frederique, Sorine, Michel

Journal:

Multiscale Modeling and Simulation

Year:

2007

Language:

english

File:

PDF, 367 KB

english, 2007

13

[IEEE 44th IEEE Conference on Decision and Control - Seville, Spain (12-15 Dec. 2005)] Proceedings of the 44th IEEE Conference on Decision and Control - A multiscale model for the controlled selection process of ovulatory follicles

Echenim, N., Sorine, M., Clement, F.

Year:

2005

Language:

english

File:

PDF, 224 KB

english, 2005

14

[IEEE 2005 IEEE Engineering in Medicine and Biology 27th Annual Conference - Shanghai, China (2006.01.17-2006.01.18)] 2005 IEEE Engineering in Medicine and Biology 27th Annual Conference - A multiscale model for the selection process of ovulatory follicles

Echenim, N., Sorine, M., Clement, F.

Year:

2005

Language:

english

File:

PDF, 212 KB

english, 2005

15

On Variable-inactivity and Polynomial Formula-Satisfiability Procedures

Bonacina, M. P., Echenim, M.

Journal:

Journal of Logic and Computation

Year:

2007

Language:

english

File:

PDF, 223 KB

english, 2007

16

Formalizing the Cox–Ross–Rubinstein Pricing of European Derivatives in Isabelle/HOL

Echenim, Mnacho, Guiol, Hervé, Peltier, Nicolas

Journal:

Journal of Automated Reasoning

Year:

2019

Language:

english

File:

PDF, 455 KB

english, 2019

17

Combining Induction and Saturation-Based Theorem Proving

Echenim, M., Peltier, N.

Journal:

Journal of Automated Reasoning

Year:

2019

Language:

english

File:

PDF, 815 KB

english, 2019